$\forall$$p$:FinProbSpace, $F$:(Outcome$\rightarrow\mathbb{Q}$). weighted{-}sum($p$;$F$) $\in$ $\mathbb{Q}$